Combinatory logic - PDFSEARCH.IO - Document Search Engine

Combinatory logic
Results: 540

#	Item
161	Bottom-up β-reduction: uplinks and λ-DAGs∗ (extended version) Olin Shivers† Georgia Institute of Technology Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2005-04-26 17:10:34 Computing Lambda calculus Directed acyclic graph Tree B-tree Free variables and bound variables T-tree Combinatory logic R-tree Graph theory Mathematics Binary trees
162	Monotonic References for Efficient Gradual Typing Jeremy G. Siek1 , Michael M. Vitousek1 , Matteo Cimini1 , Sam Tobin-Hochstadt1 , and Ronald Garcia2 1 Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Type theory Data types Procedural programming languages C++ Type safety Lambda calculus Type system ALGOL 68 Combinatory logic Software engineering Computing Programming language theory
163	Some ideas on a proof technique language Gudmund Grov (Edinburgh) & Lucas Dixon (Google) Sponsored by: EPSRC funded AI4FM project, Bundy’s platform grants & Google 1 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:44 IsaPlanner Combinatory logic Reason Logic Mind Cognition Automated theorem proving Reasoning Lambda calculus
164	ń* : Beyond Currying Jason Hemann Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2014-01-13 20:04:11 Lambda calculus Mathematics Currying Partial application Apply Arity Variadic function Combinatory logic Scheme Declarative programming Software engineering Functional programming
165 $Bessel function / Combinatory logic / Partial fraction / Mathematical analysis / Mathematics / Polynomial$	ALGEBRA I (COMMON CORE) The University of the State of New York REGENTS HIGH SCHOOL EXAMINATION ALGEBRA I (Common Core) Monday, January 26, :15 to 4:15p.m., only Add to Reading List Source URL: www.jmap.org Language: English - Date: 2015-01-31 15:41:37 Bessel function Combinatory logic Partial fraction Mathematical analysis Mathematics Polynomial
166	Safe\|A Semantic Technique for Transforming Programs in the Presence of Errors ALEXANDER AIKEN University of California, Berkeley and JOHN H. WILLIAMS and EDWARD L. WIMMERS Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2014-08-19 20:08:15 Logic in computer science Functions and mappings Recursion Standard ML FP Type system Denotational semantics Combinatory logic Expression Software engineering Programming language theory Computing
167	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) A verified framework for higher-order uncurrying optimizations Zaynah Dargaye · Xavier Leroy Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-12-15 04:00:36 Mathematics Functional programming Functions and mappings Currying Partial application Symbol Function Combinatory logic De Bruijn index Declarative programming Lambda calculus Software engineering
168	Combining Proofs and Programs in a Dependently Typed Language Chris Casinghino Vilhelm Sjöberg Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-07-10 05:47:21 Logic in computer science Lambda calculus Proof theory Deduction Models of computation Curry–Howard correspondence Entailment Combinatory logic Fixed-point combinator Theoretical computer science Logic Mathematics
169	Type Theory & Functional Programming Simon Thompson Computing Laboratory, University of Kent March 1999 Add to Reading List Source URL: www.cs.kent.ac.uk Language: English - Date: 2012-11-02 09:24:49 Theoretical computer science Logic in computer science Lambda calculus Proof theory Dependently typed programming Curry–Howard correspondence Intuitionistic type theory Combinatory logic Natural deduction Mathematics Mathematical logic Type theory
170	On the Complexity of Deciding Sense of Direction∗ Paolo Boldi† Sebastiano Vigna† Abstract Add to Reading List Source URL: vigna.di.unimi.it Language: English - Date: 2002-05-18 04:50:05 Functions and mappings Nonassociative algebra Group theory Combinatory logic Lambda calculus Constructible universe Curry–Howard correspondence Function Quasigroup Mathematics Abstract algebra Logic in computer science

UPDATE